8 results
Making ProB Compatible with SWI-Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 27 June 2022, pp. 755-769
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Fifty Years of Prolog and Beyond
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 17 May 2022, pp. 776-858
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Introduction to the 30th International Conference on Logic Programming Special Issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 401-414
-
- Article
- Export citation
Constraint-based deadlock checking of high-level specifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 767-782
-
- Article
- Export citation
Introduction to the special issue on Verification and Computational Logic
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 5-6 / September 2004
- Published online by Cambridge University Press:
- 12 August 2004, pp. 543-544
-
- Article
- Export citation
Offline specialisation in Prolog using a hand-written compiler generator
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 1-2 / January 2004
- Published online by Cambridge University Press:
- 06 January 2004, pp. 139-191
-
- Article
- Export citation
Logic program specialisation through partial deduction: Control issues
-
- Journal:
- Theory and Practice of Logic Programming / Volume 2 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 26 July 2002, pp. 461-515
-
- Article
- Export citation
Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 22 October 2001, pp. 631-632
-
- Article
- Export citation